[INFO] fetching crate linera-witty 0.14.2...
[INFO] checking linera-witty-0.14.2 against try#a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399 for pr-145770
[INFO] extracting crate linera-witty 0.14.2 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate linera-witty 0.14.2
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate linera-witty 0.14.2
[INFO] tweaked toml for crates.io crate linera-witty 0.14.2 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate linera-witty 0.14.2 on toolchain a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate linera-witty 0.14.2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 95c6377d98ba89d6e887271b15efa2a53d318a85fcac9498a6e0e30348d0a5b3
[INFO] running `Command { std: "docker" "start" "-a" "95c6377d98ba89d6e887271b15efa2a53d318a85fcac9498a6e0e30348d0a5b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "95c6377d98ba89d6e887271b15efa2a53d318a85fcac9498a6e0e30348d0a5b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95c6377d98ba89d6e887271b15efa2a53d318a85fcac9498a6e0e30348d0a5b3", kill_on_drop: false }`
[INFO] [stdout] 95c6377d98ba89d6e887271b15efa2a53d318a85fcac9498a6e0e30348d0a5b3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a202485fe929305cf71e9d3459084e12eb4d881d67df26204376a9a8eb2d12ae
[INFO] running `Command { std: "docker" "start" "-a" "a202485fe929305cf71e9d3459084e12eb4d881d67df26204376a9a8eb2d12ae", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling unicode-ident v1.0.14
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling cfg_aliases v0.2.1
[INFO] [stderr]    Compiling proc-macro-hack v0.5.20+deprecated
[INFO] [stderr]    Compiling frunk_core v0.4.3
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]    Compiling libc v0.2.169
[INFO] [stderr]    Compiling linera-witty-macros v0.14.2
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro-error-attr v0.4.12
[INFO] [stderr]    Compiling proc-macro-error v0.4.12
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling anyhow v1.0.95
[INFO] [stderr]    Compiling linera-witty v0.14.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking genawaiter-macro v0.99.1
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]     Checking pin-project-lite v0.2.16
[INFO] [stderr]     Checking linked-hash-map v0.5.6
[INFO] [stderr]     Checking similar v2.6.0
[INFO] [stderr]    Compiling syn v2.0.95
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking console v0.15.10
[INFO] [stderr]     Checking insta v1.42.0
[INFO] [stderr]    Compiling syn-mid v0.5.4
[INFO] [stderr]    Compiling frunk_proc_macro_helpers v0.1.3
[INFO] [stderr]    Compiling test-case-core v3.3.1
[INFO] [stderr]    Compiling genawaiter-proc-macro v0.99.1
[INFO] [stderr]    Compiling frunk_proc_macros v0.1.3
[INFO] [stderr]    Compiling frunk_derives v0.4.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]     Checking genawaiter v0.99.1
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]     Checking test-case v3.3.1
[INFO] [stderr]     Checking frunk v0.4.3
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stdout] error[E0432]: unresolved import `crate::MockInstance`
[INFO] [stdout]   --> src/type_traits/implementations/tests.rs:10:55
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::{GuestPointer, InstanceWithMemory, Layout, MockInstance, WitLoad, WitStore, WitType};
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^
[INFO] [stdout]    |                                                       |
[INFO] [stdout]    |                                                       no `MockInstance` in the root
[INFO] [stdout]    |                                                       help: a similar name exists in the module: `Instance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/wit_store.rs:11:55
[INFO] [stdout]    |
[INFO] [stdout] 11 | use linera_witty::{hlist, InstanceWithMemory, Layout, MockInstance, WitStore};
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^
[INFO] [stdout]    |                                                       |
[INFO] [stdout]    |                                                       no `MockInstance` in the root
[INFO] [stdout]    |                                                       help: a similar name exists in the module: `Instance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/common/test_instance.rs:23:43
[INFO] [stdout]    |
[INFO] [stdout] 23 |     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `MockInstance` in the root
[INFO] [stdout]    |                                           |
[INFO] [stdout]    |                                           no `MockExportedFunction` in the root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:25
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::test`
[INFO] [stdout]   --> tests/common/wit_interface_test.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 8  |     test::{assert_interface_dependencies, assert_interface_functions},
[INFO] [stdout]    |     ^^^^ could not find `test` in `linera_witty`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `linera_witty::wit_export`, `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/reentrancy.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     wit_export,
[INFO] [stdout]    |     ^^^^^^^^^^ no `wit_export` in the root
[INFO] [stdout] 22 |     wit_generation::{WitInterface, WitInterfaceWriter, WitWorldWriter},
[INFO] [stdout] 23 |     wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeError, RuntimeMemory,
[INFO] [stdout]    |                                     ^^^^^^^^^^^^ no `MockInstance` in the root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub use linera_witty_macros::wit_export;
[INFO] [stdout]    |                              ^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:29:7
[INFO] [stdout]    |
[INFO] [stdout] 29 | #[cfg(with_wit_export)]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 21 -     wit_export,
[INFO] [stdout] 21 +     wit_import,
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeError, RuntimeMemory,
[INFO] [stdout] 23 +     wit_import, ExportTo, Instance, Instance, Runtime, RuntimeError, RuntimeMemory,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/common/test_instance.rs:23:43
[INFO] [stdout]    |
[INFO] [stdout] 23 |     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `MockInstance` in the root
[INFO] [stdout]    |                                           |
[INFO] [stdout]    |                                           no `MockExportedFunction` in the root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:25
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/common/test_instance.rs:23:43
[INFO] [stdout]    |
[INFO] [stdout] 23 |     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^ no `MockInstance` in the root
[INFO] [stdout]    |                                           |
[INFO] [stdout]    |                                           no `MockExportedFunction` in the root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:25
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 23 -     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError,
[INFO] [stdout] 23 +     ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::test`
[INFO] [stdout]   --> tests/common/wit_interface_test.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 8  |     test::{assert_interface_dependencies, assert_interface_functions},
[INFO] [stdout]    |     ^^^^ could not find `test` in `linera_witty`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/wit_import.rs:18:27
[INFO] [stdout]    |
[INFO] [stdout] 18 |     wit_import, Instance, MockInstance, Runtime, RuntimeMemory,
[INFO] [stdout]    |                           ^^^^^^^^^^^^
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           no `MockInstance` in the root
[INFO] [stdout]    |                           help: a similar name exists in the module: `Instance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::test`
[INFO] [stdout]   --> tests/common/wit_interface_test.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 8  |     test::{assert_interface_dependencies, assert_interface_functions},
[INFO] [stdout]    |     ^^^^ could not find `test` in `linera_witty`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:7
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `linera_witty::wit_export`, `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/wit_export.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     wit_export,
[INFO] [stdout]    |     ^^^^^^^^^^ no `wit_export` in the root
[INFO] [stdout] 16 |     wit_generation::{WitInterface, WitInterfaceWriter, WitWorldWriter},
[INFO] [stdout] 17 |     wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeMemory,
[INFO] [stdout]    |                                     ^^^^^^^^^^^^ no `MockInstance` in the root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub use linera_witty_macros::wit_export;
[INFO] [stdout]    |                              ^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:29:7
[INFO] [stdout]    |
[INFO] [stdout] 29 | #[cfg(with_wit_export)]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 15 -     wit_export,
[INFO] [stdout] 15 +     wit_import,
[INFO] [stdout]    |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[INFO] [stdout] 17 -     wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeMemory,
[INFO] [stdout] 17 +     wit_import, ExportTo, Instance, Instance, Runtime, RuntimeMemory,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance`
[INFO] [stdout]   --> tests/wit_load.rs:12:55
[INFO] [stdout]    |
[INFO] [stdout] 12 | use linera_witty::{hlist, InstanceWithMemory, Layout, MockInstance, RuntimeError, WitLoad};
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^
[INFO] [stdout]    |                                                       |
[INFO] [stdout]    |                                                       no `MockInstance` in the root
[INFO] [stdout]    |                                                       help: a similar name exists in the module: `Instance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:39:47
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:7
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: ExportTo<_>` is not satisfied
[INFO] [stdout]   --> tests/wit_export.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]    | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]    | |           |
[INFO] [stdout]    | |           the trait `ExportTo<_>` is not implemented for `SimpleFunction`
[INFO] [stdout]    | required by a bound introduced by this call
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_simple_function`
[INFO] [stdout]   --> tests/wit_export.rs:56:21
[INFO] [stdout]    |
[INFO] [stdout] 50 | fn test_simple_function<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]    |    -------------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 56 |     SimpleFunction: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_simple_function`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Getters: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:120:13
[INFO] [stdout]     |
[INFO] [stdout] 120 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `Getters`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_getters`
[INFO] [stdout]    --> tests/wit_export.rs:129:14
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn test_getters<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 129 |     Getters: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_getters`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Setters: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:190:13
[INFO] [stdout]     |
[INFO] [stdout] 190 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `Setters`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_setters`
[INFO] [stdout]    --> tests/wit_export.rs:199:14
[INFO] [stdout]     |
[INFO] [stdout] 193 | fn test_setters<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 199 |     Setters: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_setters`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Operations: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:259:13
[INFO] [stdout]     |
[INFO] [stdout] 259 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `Operations`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_operations`
[INFO] [stdout]    --> tests/wit_export.rs:268:17
[INFO] [stdout]     |
[INFO] [stdout] 262 | fn test_operations<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    --------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 268 |     Operations: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_operations`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:279:13
[INFO] [stdout]     |
[INFO] [stdout] 278 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 279 | #[test_case(PhantomData::<SimpleFunction>, SIMPLE_FUNCTION; "of_simple_function")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface`
[INFO] [stdout]    --> tests/wit_export.rs:287:16
[INFO] [stdout]     |
[INFO] [stdout] 283 | fn test_wit_interface<Interface>(
[INFO] [stdout]     |    ------------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 287 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:280:13
[INFO] [stdout]     |
[INFO] [stdout] 278 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 279 | #[test_case(PhantomData::<SimpleFunction>, SIMPLE_FUNCTION; "of_simple_function")]
[INFO] [stdout] 280 | #[test_case(PhantomData::<Getters>, GETTERS; "of_getters")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface`
[INFO] [stdout]    --> tests/wit_export.rs:287:16
[INFO] [stdout]     |
[INFO] [stdout] 283 | fn test_wit_interface<Interface>(
[INFO] [stdout]     |    ------------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 287 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:281:13
[INFO] [stdout]     |
[INFO] [stdout] 278 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 281 | #[test_case(PhantomData::<Setters>, SETTERS; "of_setters")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface`
[INFO] [stdout]    --> tests/wit_export.rs:287:16
[INFO] [stdout]     |
[INFO] [stdout] 283 | fn test_wit_interface<Interface>(
[INFO] [stdout]     |    ------------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 287 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:282:13
[INFO] [stdout]     |
[INFO] [stdout] 278 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 282 | #[test_case(PhantomData::<Operations>, OPERATIONS; "of_operations")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface`
[INFO] [stdout]    --> tests/wit_export.rs:287:16
[INFO] [stdout]     |
[INFO] [stdout] 283 | fn test_wit_interface<Interface>(
[INFO] [stdout]     |    ------------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 287 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:295:13
[INFO] [stdout]     |
[INFO] [stdout] 294 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 295 | #[test_case(PhantomData::<SimpleFunction>, "simple-function"; "of_simple_function")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface_file`
[INFO] [stdout]    --> tests/wit_export.rs:301:16
[INFO] [stdout]     |
[INFO] [stdout] 299 | fn test_wit_interface_file<Interface>(_: PhantomData<Interface>, name: &str)
[INFO] [stdout]     |    ----------------------- required by a bound in this function
[INFO] [stdout] 300 | where
[INFO] [stdout] 301 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:296:13
[INFO] [stdout]     |
[INFO] [stdout] 294 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 295 | #[test_case(PhantomData::<SimpleFunction>, "simple-function"; "of_simple_function")]
[INFO] [stdout] 296 | #[test_case(PhantomData::<Getters>, "getters"; "of_getters")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface_file`
[INFO] [stdout]    --> tests/wit_export.rs:301:16
[INFO] [stdout]     |
[INFO] [stdout] 299 | fn test_wit_interface_file<Interface>(_: PhantomData<Interface>, name: &str)
[INFO] [stdout]     |    ----------------------- required by a bound in this function
[INFO] [stdout] 300 | where
[INFO] [stdout] 301 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:297:13
[INFO] [stdout]     |
[INFO] [stdout] 294 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 297 | #[test_case(PhantomData::<Setters>, "setters"; "of_setters")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface_file`
[INFO] [stdout]    --> tests/wit_export.rs:301:16
[INFO] [stdout]     |
[INFO] [stdout] 299 | fn test_wit_interface_file<Interface>(_: PhantomData<Interface>, name: &str)
[INFO] [stdout]     |    ----------------------- required by a bound in this function
[INFO] [stdout] 300 | where
[INFO] [stdout] 301 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 294 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 298 | #[test_case(PhantomData::<Operations>, "operations"; "of_operations")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `test_wit_interface_file`
[INFO] [stdout]    --> tests/wit_export.rs:301:16
[INFO] [stdout]     |
[INFO] [stdout] 299 | fn test_wit_interface_file<Interface>(_: PhantomData<Interface>, name: &str)
[INFO] [stdout]     |    ----------------------- required by a bound in this function
[INFO] [stdout] 300 | where
[INFO] [stdout] 301 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:318:23
[INFO] [stdout]     |
[INFO] [stdout] 318 |             .import::<SimpleFunction>()
[INFO] [stdout]     |              ------   ^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 109 |     where
[INFO] [stdout] 110 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:319:23
[INFO] [stdout]     |
[INFO] [stdout] 319 |             .import::<Getters>()
[INFO] [stdout]     |              ------   ^^^^^^^ the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 109 |     where
[INFO] [stdout] 110 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:320:23
[INFO] [stdout]     |
[INFO] [stdout] 320 |             .import::<Setters>()
[INFO] [stdout]     |              ------   ^^^^^^^ the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 109 |     where
[INFO] [stdout] 110 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:321:23
[INFO] [stdout]     |
[INFO] [stdout] 321 |             .import::<Operations>()
[INFO] [stdout]     |              ------   ^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 109 |     where
[INFO] [stdout] 110 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_export") due to 19 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `linera-witty` (lib test) due to 1 previous error
[INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: ExportTo<_>` is not satisfied
[INFO] [stdout]   --> tests/reentrancy.rs:69:13
[INFO] [stdout]    |
[INFO] [stdout] 69 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]    | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]    | |           |
[INFO] [stdout]    | |           the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]    | required by a bound introduced by this call
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_simple_function`
[INFO] [stdout]   --> tests/reentrancy.rs:78:29
[INFO] [stdout]    |
[INFO] [stdout] 72 | fn test_simple_function<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]    |    -------------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 78 |     ExportedSimpleFunction: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_simple_function`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedGetters<_>: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `ExportedGetters<_>`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_getters`
[INFO] [stdout]    --> tests/reentrancy.rs:176:56
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn test_getters<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 176 |     ExportedGetters<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_getters`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedSetters<_>: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:259:13
[INFO] [stdout]     |
[INFO] [stdout] 259 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `ExportedSetters<_>`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_setters`
[INFO] [stdout]    --> tests/reentrancy.rs:268:56
[INFO] [stdout]     |
[INFO] [stdout] 262 | fn test_setters<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 268 |     ExportedSetters<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_setters`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_store") due to 1 previous error
[INFO] [stdout] error[E0277]: the trait bound `ExportedOperations<_>: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:351:13
[INFO] [stdout]     |
[INFO] [stdout] 351 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `ExportedOperations<_>`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_operations`
[INFO] [stdout]    --> tests/reentrancy.rs:360:59
[INFO] [stdout]     |
[INFO] [stdout] 354 | fn test_operations<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    --------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 360 |     ExportedOperations<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_operations`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedGlobalState: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:398:13
[INFO] [stdout]     |
[INFO] [stdout] 398 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `ExportedGlobalState`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_global_state`
[INFO] [stdout]    --> tests/reentrancy.rs:407:26
[INFO] [stdout]     |
[INFO] [stdout] 401 | fn test_global_state<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ----------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 407 |     ExportedGlobalState: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_global_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunctionWithUserData<_>: ExportTo<_>` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:445:13
[INFO] [stdout]     |
[INFO] [stdout] 445 | #[test_case(MockInstanceFactory::default(); "with a mock instance")]
[INFO] [stdout]     | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------
[INFO] [stdout]     | |           |
[INFO] [stdout]     | |           the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunctionWithUserData<_>`
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `ExportTo<T>` is implemented for `WithoutExports`
[INFO] [stdout] note: required by a bound in `test_user_data`
[INFO] [stdout]    --> tests/reentrancy.rs:456:9
[INFO] [stdout]     |
[INFO] [stdout] 449 | fn test_user_data<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    -------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 456 |         ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_user_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_load") due to 1 previous error
[INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:484:13
[INFO] [stdout]     |
[INFO] [stdout] 473 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 484 | #[test_case(PhantomData::<ExportedSimpleFunction>, SIMPLE_FUNCTION; "of_exported_simple_function")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `WitInterface`:
[INFO] [stdout]               Entrypoint<Instance>
[INFO] [stdout]               ImportedGetters<Instance>
[INFO] [stdout]               ImportedGlobalState<Instance>
[INFO] [stdout]               ImportedOperations<Instance>
[INFO] [stdout]               ImportedSetters<Instance>
[INFO] [stdout]               ImportedSimpleFunction<Instance>
[INFO] [stdout] note: required by a bound in `test_wit_interface`
[INFO] [stdout]    --> tests/reentrancy.rs:495:16
[INFO] [stdout]     |
[INFO] [stdout] 491 | fn test_wit_interface<Interface>(
[INFO] [stdout]     |    ------------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 495 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:511:13
[INFO] [stdout]     |
[INFO] [stdout] 500 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 511 | #[test_case(PhantomData::<ExportedSimpleFunction>, "simple_function"; "of_exported_simple_function")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `WitInterface`:
[INFO] [stdout]               Entrypoint<Instance>
[INFO] [stdout]               ImportedGetters<Instance>
[INFO] [stdout]               ImportedGlobalState<Instance>
[INFO] [stdout]               ImportedOperations<Instance>
[INFO] [stdout]               ImportedSetters<Instance>
[INFO] [stdout]               ImportedSimpleFunction<Instance>
[INFO] [stdout] note: required by a bound in `test_wit_interface_file`
[INFO] [stdout]    --> tests/reentrancy.rs:520:16
[INFO] [stdout]     |
[INFO] [stdout] 518 | fn test_wit_interface_file<Interface>(_: PhantomData<Interface>, name: &str)
[INFO] [stdout]     |    ----------------------- required by a bound in this function
[INFO] [stdout] 519 | where
[INFO] [stdout] 520 |     Interface: WitInterface,
[INFO] [stdout]     |                ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:541:23
[INFO] [stdout]     |
[INFO] [stdout] 541 |             .import::<ExportedSimpleFunction>()
[INFO] [stdout]     |              ------   ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `WitInterface`:
[INFO] [stdout]               Entrypoint<Instance>
[INFO] [stdout]               ImportedGetters<Instance>
[INFO] [stdout]               ImportedGlobalState<Instance>
[INFO] [stdout]               ImportedOperations<Instance>
[INFO] [stdout]               ImportedSetters<Instance>
[INFO] [stdout]               ImportedSimpleFunction<Instance>
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 109 |     where
[INFO] [stdout] 110 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_import") due to 3 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0277, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "reentrancy") due to 12 previous errors
[INFO] running `Command { std: "docker" "inspect" "a202485fe929305cf71e9d3459084e12eb4d881d67df26204376a9a8eb2d12ae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a202485fe929305cf71e9d3459084e12eb4d881d67df26204376a9a8eb2d12ae", kill_on_drop: false }`
[INFO] [stdout] a202485fe929305cf71e9d3459084e12eb4d881d67df26204376a9a8eb2d12ae
